function heinrichFun() { franz(); }
